(0 15 3)(1 20 10)(2 17 7)(4 9 6)(5 18 16)(8 14 12)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (2 7 17)
(0 15 3)(1 20 10)(2 7 17)(4 9 6)(5 18 16)(8 14 12)(11 19 13)
2: (5 18 16)
(0 15 3)(1 20 10)(2 7 17)(4 9 6)(5)(8 14 12)(11 19 13)(16)(18)
3: (2 7 17)
(0 15 3)(1 20 10)(2)(4 9 6)(5)(7)(8 14 12)(11 19 13)(16)(17)(18)
4: (4 9 6)
(0 15 3)(1 20 10)(2)(4)(5)(6)(7)(8 14 12)(9)(11 19 13)(16)(17)(18)